Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism. They were introduced by Berman (1977), and were named after William of Ockham by Urquhart (1979).

Examples of Ockham algebras include Boolean algebras, De Morgan algebras, Stone algebras, and Kleene algebras.

References